Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
191	Coeffects: A calculus of context-dependent computation Tomas Petricek Dominic Orchard Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-16 05:18:39 Programming language semantics Denotational semantics Logic in computer science Curvature Free variables and bound variables Vector space Lambda calculus Monad Mathematics Algebra Models of computation
192	3-2 Development of the SprinTra WFST Speech Decoder DIXON Paul Richard, HORI Chiori, and KASHIOKA Hideki In this paper we describe the NICT Weighted Finite State Transducer (WFST) based speech decoder named SprinTra. The Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2013-11-21 21:19:13 Science Linguistics Speech recognition Applied mathematics Finite state transducer N-gram Finite-state machine Language model Algorithm Automata theory Computational linguistics Models of computation
193	What to do and how to do it: Translating Natural Language Directives into Temporal and Dynamic Logic Representation for Goal Management and Action Execution Juraj Dzifcak and Matthias Scheutz and Chitta Baral and Paul Sc Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2009-12-09 21:12:19 Logic in computer science Lambda calculus Computability theory Formal methods Models of computation Combinatory logic Dynamic logic Modal logic Robot Mathematical logic Logic Theoretical computer science
194	Latent Domain Translation Models in Mix-of-Domains Haystack Hoang Cuong and Khalil Sima’an Institute for Logic, Language and Computation University of Amsterdam Science Park 107, 1098 XG Amsterdam, The Netherlands Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-08-08 12:25:17 Mathematical logic Machine translation Semantics Interpretation Philosophy of language Philosophy of mind Function BLEU Statistical machine translation Mathematics Model theory Mathematical analysis
195	Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded ∗ Systems Edward A. Lee Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2013-12-17 02:12:08 Models of computation Logic in computer science Programming language semantics Concurrency Concurrent computing Denotational semantics Actor model Operational semantics SIGNAL Theoretical computer science Computing Software engineering
196	Department of Electrical and Computer Systems Engineering Technical Report MECSE Add to Reading List Source URL: www.eganfamily.id.au Language: English - Date: 2007-09-25 10:08:39 Computer architecture Reconfigurable computing Models of computation Digital electronics Field-programmable gate array Programming paradigms Parallel computing Dataflow Hardware description language Electronic engineering Computing Electronics
197	Propagation Networks: A Flexible and Expressive Substrate for Computation by Alexey Andreyevich Radul B.S., Massachusetts Institute of Technology (2003) Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-09-11 13:48:55 Theoretical computer science Academia Computability theory Gerald Jay Sussman Lisp programming language Logic programming Computation Computer Science and Engineering Reactive programming Software engineering Programming paradigms Computing
198	Post-publication version of “Aaron Sloman develops a distinctive view of – Virtual Machinery and Evolution of Mind (Part 1)” pages[removed]In Alan Turing - His Work and Impact, eds S. B. Cooper & J. van Leeuwen, Els Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-09-07 19:32:51 Turing machine Models of computation Computability theory Alan Turing Virtual machine Turing completeness VM Computability Programming language Theoretical computer science Computer science Theory of computation
199	BRAID: A Web Audio Instrument Builder with Embedded Code Blocks Ben Taylor and Jesse Allison Louisiana State University Center for Computation and Technology Baton Rouge, Louisiana Add to Reading List Source URL: wac.ircam.fr Language: English - Date: 2015-01-20 12:36:52 Model–view–controller JavaScript Graphical user interface Web application User interface Widget toolkit Software widget User interface markup language Software Software architecture Computing
200	Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ On using pre and postconditions to tackle the aspect scheduling problem Add to Reading List Source URL: www.jot.fm Language: English - Date: 2014-12-29 10:27:36 Aspect-oriented software development Diagrams Models of computation Infographics Unified Modeling Language State diagram UML state machine Stereotype Class diagram Software development UML diagrams Software

UPDATE